Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
91	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
92	A Taste of Python • What it’s good for (and what it’s not). • Flavor of language using examples. • Comparisons with other languages Add to Reading List Source URL: pyraf.stsci.edu Language: English - Date: 2001-12-10 16:33:20 Scripting languages Functional programming Object-oriented programming Python Immutable object D Python syntax and semantics Software engineering Computer programming Computing
93	Languages for bibliography styles Jean-Michel Hufflen LIFC (EA CNRS[removed]University of Franche-Comté 16, route de Gray Add to Reading List Source URL: www.tex.uniyar.ac.ru Language: English - Date: 2012-01-26 05:17:28 Scheme programming language ISO standards Technical communication BibTeX Functional languages LaTeX Document Style Semantics and Specification Language XSLT TeX Computing Markup languages Application software
94	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
95	A Taste of Python • What it’s good for (and what it’s not). • Flavor of language using examples. • Comparisons with other languages Add to Reading List Source URL: pyraf.stsci.edu Language: English - Date: 2001-12-10 16:31:41 Scripting languages Functional programming Object-oriented programming Python Immutable object D Python syntax and semantics Software engineering Computer programming Computing
96	Static and Dynamic Semantics of the Web Add to Reading List Source URL: web.media.mit.edu Language: English - Date: 2001-12-28 14:17:29 Cross-platform software HTML World Wide Web JavaScript Procedural programming languages Programming language Object-oriented programming Semantic Web Web page Computing Software engineering Computer programming
97	Python programming learning assets Simply type the id# in the search mechanism of ACS Skills Online to access the learning assets outlined below. Titles Python: Conditional Statements (Id# 48863) Add to Reading List Source URL: www.acs.org.au Language: English - Date: 2013-08-30 02:06:28 Scripting languages Python Eval Python syntax and semantics Software engineering Computing Computer programming
98	194 Department of Computer and Information Science, Linköping University[removed]Generation of Efficient Compilers and Interpreters from Natural Semantics Specifications Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2003-05-18 19:21:52 Computing Programming language semantics Formal methods Denotational semantics Operational semantics Semantics of programming languages Programming language Prolog Compiler-compiler Theoretical computer science Software engineering Logic in computer science
99	197 7 ACM Turing Award Lecture The 1977 A C M Turing Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committ Add to Reading List Source URL: worrydream.com Language: English - Date: 2013-07-16 19:44:03 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics
100	An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA Carnegie Mellon University, Pittsburgh, USA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Data management Programming paradigms Datalog Logic programming Predicate Algorithm SQL FO Query languages Computing Software engineering

UPDATE